Data-flow Networks in the Design of Safety-critical Systems
نویسندگان
چکیده
The paper deals with practical aspects of developing control systems. We briefly discuss safety-critical systems, we examine the use of formal methods as a possible technique for increasing safety and reliability (by allowing a formal specification of the initial requirements of the system and by avoiding design errors) and we propose a design methodology for such systems based on data-flow networks.
منابع مشابه
A Model for Runway Landing Flow and Capacity with Risk and Cost Benefit Factors
As the demand for the civil aviation has been growing for decades and the system becoming increasingly complex, the use of systems engineering and operations research tools have shown to be of further use in managing this system. In this study, we apply such tools in managing landing operations on runways (as the bottleneck and highly valuable resources of air transportation networks) to handle...
متن کاملاثر سر ریز انتهایی بر نیم رخ سطح آب در کانال جانبی غیر منشوری:راهنمای طراحی
Side channel spillways have a common usage in conveyance and distribution networks, high dams, water and wastewater treatment plants, and surface drainage networks. A side channel carries spatially varied flow with increasing discharge and their water surface profiles is a main feature in the design process. Usually, the bottom width of the channel is flared in the flow direction and an end sil...
متن کاملاثر سر ریز انتهایی بر نیم رخ سطح آب در کانال جانبی غیر منشوری:راهنمای طراحی
Side channel spillways have a common usage in conveyance and distribution networks, high dams, water and wastewater treatment plants, and surface drainage networks. A side channel carries spatially varied flow with increasing discharge and their water surface profiles is a main feature in the design process. Usually, the bottom width of the channel is flared in the flow direction and an end sil...
متن کاملP2P Network Trust Management Survey
Peer-to-peer applications (P2P) are no longer limited to home users, and start being accepted in academic and corporate environments. While file sharing and instant messaging applications are the most traditional examples, they are no longer the only ones benefiting from the potential advantages of P2P networks. For example, network file storage, data transmission, distributed computing, and co...
متن کاملCongestion Control Approaches Applied to Wireless Sensor Networks: A Survey
Wireless Sensor Networks (WSNs) are a specific category of wireless ad-hoc networks where their performance is highly affected by application, life time, storage capacity, processing power, topology changes, the communication medium and bandwidth. These limitations necessitate an effective data transport control in WSNs considering quality of service, energy efficiency, and congestion control. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999